Öffnungszeiten:
Kantine (Altbau) Mo.- Fr. 10 Uhr - 18 Uhr
Kiosk (Neubau) Mo.- Fr. 10 Uhr - 17 Uhr