Karlsruher Institut für Technologie Institut für Angewandte Informatik Karl-Heinz Häfele Jürgen Engelmann