Ab 1. Juni 2023 gelten in der Cafeteria folgende Öffnungszeiten: Täglich von 11:00 Uhr bis 16:00 Uhr.
