Department of Computer Science and Mathematics, Goethe university, Frankfurt/Main, Germany