Lagos de Berlim e Brandemburgo (Straussee, Stechlinsee e Werbellinsee): quando mergulhar