Eine Tauchschülerin ist im Attersee ums Lebens gekommen.