Hi Mark Hillen,

Thanks for your contributions so far.

If a place closes we usually don't delete it, but we mark it as disused. This way, the history of the node remains and mappers passing by in the future notice that something is missing here.

So, next time, please mark it as disused and not just delete it. See https://wiki.openstreetmap.org/wiki/Lifecycle_prefix for further info.

Happy Mapping
Lezurex