Am Donnerstagabend suchten zahlreiche Rettungskräfte den Stausee Rabenstein in Chemnitz nach einem Badegast ab. Ist er ertrunken?