Bayerische Alpenseen (Walchensee und Starnberger See): Tauchsicherheit und lokale Regeln