Department for Computer Science and Mathematics, Goethe-University, Frankfurt am Main, Germany. lin@linhi.de|Department for Computer Science and Mathematics, Goethe-University, Frankfurt am Main, Germany. lin@linhi.de