Public swimming pools