Tegernsee Lake, Bavaria, Germany.