Ab Mitte Mai bis Mitte September täglich wechselnde Büffets z.B. am:
Letzte Aktualisierung: 21.07.2023. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.