Gastronomie
Die Öffnungszeiten können je nach Saison oder Auslastung des Betriebs variieren.
Restaurant
Buffet. Frühstück
Öffnungszeiten
08.30 - 10.00 h
Información aproximada según tipo de cambio diario de la moneda seleccionada en relación a EURO o USD, facilitado por el BCE y válido solo para efectos informativos.