Bavarian Alpine Lakes (Walchensee and Starnberger See): cuándo bucear