I add some extra information: Currently it is dirty and disorganized. If nothing changes, it will be in ruins soon.
I added "disused:amenity=pub" instead of "amenity=pub", as per https://help.openstreetmap.org/questions/67728/how-do-i-denote-a-business-is-not-yet-open-or-has-shut-down