Dies ist ein privater Pool. Er wurde jedoch so getaggt, dass er von anderen Apps, die OpenStreetmap Daten verwenden, fälschlicherweise als öffentliches Bad interpretiert wird. Bitte tag ändern oder entfernen. Private Pools interessieren auf öffentlichen Karten niemanden. Auch wenn der Besitzer sehr stolz auf ihn zur sein scheint.