Dergelijke gesloten winkels worden niet zomaar verwijderd, maar gemarkeerd als “gesloten”.

https://wiki.openstreetmap.org/wiki/DE:Key:disused:*

Also disused:amenity = yes

De specifieke kenmerken, zoals openingstijden, keuken of beschrijving, kunnen worden verwijderd.

De naam kan ter oriëntatie blijven staan.

Ik heb je wijziging/verwijdering ongedaan gemaakt.

Gruß | Peer