Hier und in der Umgebung sind viele Badestellen als leisure=water_park (Erlebnisbad) gemappt. Inzwischen gibt es für Badestellen den Tag leisure=bathing_place. Vielleicht kann jemand mit Ortskenntnis bestätigen, ob das evtl. der bessere Tag ist?