Gibt es für Abends nur Themenrestaurants oder auch ein Hauptrestaurant mit Buffet?
Das Hauptrestaurant ist abends auch geöffnet. Dort wird auch das Essen in Buffetform angeboten
7 Restaurants zum Abendessen, 5 a la carte, 1 Fast Food und das Hauptrestaurant mit Themenbuffet
