Das ist hier als water_park (Erlebnisbad) gemappt. Für Badestellen wäre leisure=bathing_place eigentlich der besserer Tag. Aber es sieht für mich nach weit mehr als einer typischen Badestelle aus, also wäre vielleicht amenity=public_bath der richtige Tag?