Berliner und Brandenburger Seen (Straussee, Stechlinsee und Werbellinsee): Beste Tauchzeit