Das Chinarestaurant hat jeden Tag zum Mittagstisch für 4,90 Euro und zum Abendtisch für 7,80 Euro ein Buffet. Selbstverständlich kann man auch von der riesigen Karte essen. Wir waren in dem sehr großen Restaurant die einzigsten, die gegen 20 Uhr hier gespeist haben. Wir fühlten uns verloren. Es gab für uns noch…