Montag - Freitag 11.30 Uhr, außer an Feiertagen
Letzte Aktualisierung: 30.10.2012. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.