Hi, mir ist aufgefallen, dass das Restaurant, was hier angegeben ist, nicht mehr aktuell ist. Stattdessen ist in diesem Gebäude jetzt die sogenannte "Marktküche", ein Take-Away mit Open Air Sitzplätzen.