Question: What is the name of the former hotel in the Alps now used as an environmental research station which lies at the summit of the Zugspitze in Germany?
Sentence (from "Zugspitze"): The Zugspitze, (] ) at 2,962 m (9,718 ft) above sea level, is the highest peak of the Wetterstein Mountains as well as the highest mountain in Germany.
Relevant evidence: Yes