-- Klein: 6,50€ -- Mittel: 8,50€ -- Groß: 10,50€ ----
Letzte Aktualisierung: 08.11.2021. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.