von 10.30 Uhr bis 13.00 Uhr.
Letzte Aktualisierung: 07.09.2022. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.