Darf auf der Außenterasse des Hauptrestaurants während der Essenszeiten geraucht / gedampft werden bzw. gibt es dort spezille Tische für Raucher.
Komplett Nichtraucherbereich
Im Restaurant ist generell Nichtraucher, auch auf der Terrasse
Tut mir leid, dass weiß ich nicht, da wir Nichtraucher sind.