Dienstag bis Freitag von 11:30 bis 15:00 Uhr (außer Feiertage)
Letzte Aktualisierung: 26.07.2023. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.