Zimmer: 01.05.044 Telefon: +49--89--289--18659 Fax: +49--89--289--18657 Email: brueggem@in.tum.de Snail: TU München Institut für Informatik Boltzmannstraße 3 D-85748 Garching