Manuela am 5. Februar 2026

Darf beim Essen im Hauptrestaurant auf der Aussenterasse geraucht / gedampft werden bzw. gibt es auf der Terasse Tische für Raucher?