Question: What is the highest mountain in Germany, ahead of the Hochwanner the highest peak on the main ridge of the Wetterstein, lying south of the town of Garmisch-Partenkirchen?
Sentence (from "Hochwanner"): In addition the Hochwanner is the highest peak on the main ridge of the Wetterstein ("Wettersteinhauptkamm") running from "Gatterl" to the Upper Wettersteinspitze ("Oberen Wettersteinspitze") above Mittenwald in an east-west direction.
Relevant evidence: Yes