A group of people in bathing suits jumped from the outside pool in turn, with voices and laughter and the sound of falling water.