MarkusHD
Das Gebäude wurde schon einen Monat vor dieser Notiz entfernt, hab dort nun noch die Adresse gelöscht (https://www.openstreetmap.org/changeset/116841071), aber das disused:amenity=restaurant an dem node kann so bleiben.