Institut für Informatik/I12, Technische Universität München, D-85748 Garching b. München, Germany.|Institut für Informatik/I12, Technische Universität München, D-85748 Garching b. München, Germany.|Institut für Informatik/I12, Technische Universität München, D-85748 Garching b. München, Germany.|Institut für Informatik/I12, Technische Universität München, D-85748 Garching b. München, Germany.|Institut für Informatik/I12, Technische Universität München, D-85748 Garching b. München, Germany.