Empty lanes in a public swimming pool during the winter season.