When he saw a peer motionless in the pool, a ten-year-old jumped into the water. He pulled out the other child, possibly saving his life.
The child had been taken to a clinic by rescue helicopter. Whether the boy was unconscious or had to be resuscitated was not known on Saturday. The sponsoring association of the natural outdoor pool writes on its homepage: "We keep our fingers crossed that he will recover quickly" The police did not initially provide any information about the incident.