Gehört das ganze Schwimmbad-Gelände zum Thermenpark? Sollte hier nicht zwischen dem Schwimmbad (leisure = water_park, sport = swimming) und dem frei zugänglichen Park (leisure = park) unterschieden, d.h., eine Trennung vorgenommen werden?