[Tagging] Swimming pools

[Matthijs Melissen]

On 17 December 2015 at 21:19, Christoph Hormann <chris_hormann at gmx.de> wrote:
> Most public baths in Germany (Hallenbad/Freibad) are tagged
> leisure=water_park no matter if they qualify as such or not (which
> would be commonly called 'Erlebnisbad').

Does this including indoor swimming pools (for example public swimming
pools used for swimming lessons)?

And for the native English speakers: it's still not clear to me
whether this use would be very contradictory to the regular use of
'water park' in English, what do you think?

-- Matthijs