Lagos alpinos de Baviera (Walchensee y Starnberger See): cuándo bucear