Lacs alpins bavarois (Walchensee et Starnberger See): quand plonger