von 9.30-12.00 Uhr und 14.30-18.30 Uhr
Letzte Aktualisierung: 09.09.2022. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.