Berliner und Brandenburger Seen (Straussee, Stechlinsee und Werbellinsee): Tauchsicherheit und lokale Regeln