Krottenkopfhöchster Gipfel der Kocheler Berge (Oberbayern), nordöstlich von Garmisch-Partenkirchen, 2085 m.