30303020
There is a node placed on the left wing of the building (https://www.openstreetmap.org/node/2376812058). It is tagged with »leisure=swimming«. Is that the information you would like to add to the map?