"Wir sind zufällig dort gelandet, während wir am deutschen Nationalfeiertag umhergegangen sind. Es waren nicht viele Restaurants geöffnet, aber dieses hier hatte offen und war fast leer, bevor die Hauptzeit begann. Das Buffet ist groß und das Essen war ausgezeichnet. Es ist eine Mischung aus Selbstbedienung und frischer Zubereitung."