* Die Öffnungs- und Schließzeiten der oben genannten Restaurants und Bars können je nach Betrieb und saisonalen Bedingungen der Einrichtung variieren. * Die Darstellung der von uns in den Speisekarten deklarierten Getränke ist abhängig vom Angebot. * Andere Nutzungen als das Frühstück werden über die Speisekarte berechnet.