11.30 -14.30 Uhr Donnerstag, 17. November
Letzte Aktualisierung: 17.11.2022. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.