Tegernsee — town in Bavaria, Germany