auf dem Gipfel der Hochvernagtspitze (3539M)