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?

<P0-S0> Isla Magueyes (Isle of Maguey) is a 7.2 ha island 50 m from the southwest coast of the island of Puerto Rico. <P0-S1>  It is encircled with mangrove and has an interior of dry scrub habitat, where it gets its name. <P0-S2>  It is named for the presence of many century plants or maguey ("Agave americana"). <P0-S3>  The surrounding shelf of the island is mostly coral reef. <P0-S4>  There are buildings on the western end of the island associated with the Department of Marine Sciences, University of Puerto Rico at Mayagüez. <P0-S5>  UPR- Mayagüez is the most important center in the Atlantic region for the study of tropical marine science due to its location, facilities, and first-rate researchers. <P0-S6>  The research facilities includes the Puerto Rico Water Resources and Environmental Research Institute, the Caribbean Coral Reef Institute (CCRI), the Research and Development Center, the Agricultural Research Station and the Caribbean Atmospheric Research Center (ATMOSCarib). <SEP> <P1-S0> The Schneefernerhaus is a former hotel in the Alps, that is now used as an environmental research station. <P1-S1>  It lies immediately below the summit of the Zugspitze at a height of 2,650 m and was opened on 20 June 1931. <P1-S2>  It used to house the top station of the Bavarian Zugspitze Railway as well as a tourist hotel. <P1-S3>  There was then a cable car from the Schneefernerhaus to the Zugspitze summit. <P1-S4>  In 1938 a gallery for pedestrians was opened from the ridge station of the Tyrolean Zugspitze Cable Car to the Schneefernerhaus. <P1-S5>  From 1945 to 1952 the hotel was commandeered for use as a "recreation facility" by the US Forces. <SEP> <P2-S0> 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. <P2-S1>  It lies south of the town of Garmisch-Partenkirchen, and the Austria–Germany border runs over its western summit. <P2-S2>  South of the mountain is the "Zugspitzplatt", a high karst plateau with numerous caves. <P2-S3>  On the flanks of the Zugspitze are three glaciers, including the two largest in Germany: the Northern Schneeferner with an area of 30.7 hectares and the Höllentalferner with an area of 24.7 hectares. <P2-S4>  The third is the Southern Schneeferner which covers 8.4 hectares. <SEP> <P3-S0> The Eibsee Cable Car, which opened in 1963, is a cable car which connects the lower station (973 m above sea level) near lake Eibsee with the top station at 2950 m above sea level next to the summit of Zugspitze, Germany's highest mountain on the border to Austria. <P3-S1>  The cable car was built to provide a faster access to the Zugspitze from its German side, as the cog railway from Garmisch-Partenkirchen does not go directly to the summit and takes much longer. <P3-S2>  The "Eibsee Cable Car" belongs to "Bayerische Zugspitzbahn Bergbahn AG", the company operating the cog railway and most cable cars, gondola lifts and chairlifts in the Garmisch-Partenkirchen area. <P3-S3>  It is thus possible to make round trips using both the cog railway and the cable car. <P3-S4>  On the Austrian side, there is the Tyrolean Zugspitze Cable Car which starts at Ehrwald and meets the Eibsee Cable Car on the top.