Institut für Theoretische Informatik Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Größere Kartenansicht