Lagos Alpinos da Baviera (Walchensee e Starnberger See): segurança de mergulho e regras locais