von 11.45 Uhr bis 13:45 Uhr und von 17.00 Uhr bis 20:30 Uhr
Letzte Aktualisierung: 14.02.2024. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.