Hotel tips: Our favorite 3 hotels in Tegernsee