(hier kannst du noch Extras wählen zu deinem Frühstück)
Letzte Aktualisierung: 15.07.2022. Es gilt die jeweils aktuelle Speisekarte im Restaurant. Änderungen vorbehalten.