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