Das Restaurant gehört zum nebenliegenden Leonardo-Hotel und wird aktuell nicht mehr betrieben, die Räume werden wohl als Frühstücksraum für das Hotel benutzt. Habe das Restaurant auf "disused" gesetzt (Changeset https://www.openstreetmap.org/changeset/147229752).