Geänderte Öffnungszeiten der Cafeteria Die Cafeteria ist an folgenden Tagen von 8.30 Uhr bis 12.30 Uhr geöffnet:5.7 und 6.712.7 und 13.719.7 und 20.7