German (DE-CH-A) 
English (UK) Wir verwöhnen Sie gerne mit kulinarischen Genüssen aus unserer Küche, während folgender Betriebszeiten.
© valeria_aksakova on Freepik
Kantinenbetrieb Juli/August
Freitag bis Sonntag: 11:30–21 Uhr (Küche)ebenso an Feiertagen beziehungsweise dem Tag vor dem Feiertag
Über den Sommer gibt es Samstag und Sonntag ab 9:30 Uhr Kaffee und Croissants etc.
