Der Bub wurde von anderen Badegästen gerettet.