Friedrich-Schiller-Universität Jena Institut für Informatik e-mail: Martin.Mundhenk (at) uni-jena.de Ernst-Abbe-Platz 2 office: 3313 D-07743 Jena phone: ++49-3641-9-46315 fax: ++49-3641-9-46322