1. Das Buffet im Karibikrestaurant (eines von drei Restaurants) läßt einem nur die Wahl der internationalen Küche, öffnet jeden Morgen um sechs Uhr und schließt erst abends um neun. ( Quelle: Süddeutsche Zeitung 1996）