Prof. Dr. Peter Thiemann Institut für Informatik Universität Freiburg Georges-Köhler-Allee Geb.079 79110 Freiburg i. Br. GERMANY Room: 00-015 Geb. 079 Phone: +49 761 203 8051 Secr: +49 761 203 8240 E-mail: