Taucher und ein Rettungshubschrauber eilten zum See.
Das Kind wurde schließlich im See treibend gefunden. Notärzte reanimierten es sofort. Danach wurde es mit einem Kindernotarzt ins Krankenhaus gebracht. Notfallseelsorger betreuten die Badegäste vor Ort. Am Montagnachmittag teilte die Polizei mit, dass das Kind gestorben ist. red