Walchensee, Oberbayern, See im Herbst