That's small, there's higher in Germany. At 2962 m above sea level, the "Zugspitze" is the highest peak in the Wetterstein Mountains and at the same time Germany's highest mountain.
Information Zugspitze