Bei dem Toten handle es sich mit großer Wahrscheinlichkeit um einen 47-jährigen Deutschen, teilte die Polizei mit. Wie es zu dem Tauchunglück kam, war zunächst unbekannt. Weitere Ermittlungen sind im Gange, eine Obduktion wurde angeordnet.
Mehrere Zeugen hatten am Freitag gegen 16.00 Uhr Hilfeschreie aus der Richtung des Sees gehört und auch beobachtet, wie eine Person untergegangen sei. Eine große Suchaktion der Wasserrettung, unter anderem mit Hilfe eines Sonargeräts und eines Tauchroboters, waren erfolglos und in der Nacht abgebrochen worden.