Hi, Welcome to OpenStreetMap.

If the building remains it ought not be deleted. Rather the tags for the closed amenity should be changed to disused. I think the building remains so I've reinstated it.

Regards Bernard.