Kochelsee, Tegernsee, Walchensee 2012