Lehrstuhl für Informatik 19 (sebis) Ernst Denert-Stiftungslehrstuhl Institut für Informatik Technische Universität München Boltzmannstraße 3 85748 Garching b. München