(von 11.30–14.00 Uhr und 17.00–21.30 Uhr)
Letzte Aktualisierung: 07.10.2024. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.