There was a lot of dirt in the indoor pool, and a man opened the hose and cleaned it, making a murmur of water.