Die druckbare Version wird nicht mehr unterstützt und kann Darstellungsfehler aufweisen. Bitte aktualisiere deine Browser-Lesezeichen und verwende stattdessen die Standard-Druckfunktion des Browsers.
Ist das Restaurant nicht mittlerweile geschlossen? --Dktue (Diskussion) 18:47, 5. Jun. 2020 (CEST)
