kann beim Frühstück oder Abendessen auf der Terrasse geraucht werden?
Ja, auf der Außenterrasse des Hauptrestaurants darf geraucht werden.
Nein, aber es gibt genug Möglichkeiten in der Mainbar oder Poolbar.