Lagos alpinos de Baviera (Walchensee y Starnberger See): seguridad de buceo y reglas locales