Kann man auch im Oktober noch im 50-Meter-Pool schwimmen oder ist er dann schon geschlossen/unbeheizt?