Wolfram Amme Thomas Heinze Friedrich-Schiller-Universität Jena Fakultät für Mathematik und Informatik Institut für Informatik Ernst-Abbe-Platz 2 D-07743 Jena