Swimming pool, pool, zwembad, piscine, Badeanstalt