Hallo gibt es Raucherbereiche auf der Restaurant-Terrasse beim Frühstück und Abendessen
An den Bars darf man rauchen, auf der Restaurant Terrasse beim Buffetrestaurant darf man nicht rauchen.
Ja gibt es , man darf auf den Terassen rauchen
