Nach einem tödlichen Badeunfall am Traunsee hat die Polizei eine Leiche geborgen.