Email: engels@in.tum.de snail: Thomas Engels Fakultät für Informatik Technische Universität München Boltzmannsraße 3 Raum 00.07.054 D-85748 Garching / Germany Tel: +49 (0)89 289-18252 Fax: +49 (0)89 289-18507