Die Eltern hatten ihn als vermisst gemeldet. Feuerwehrleute fanden den Jungen gegen 21 Uhr in einem Gebüsch an einer Badestelle.