Тегернзе (Tegernsee), Германия