Bergtour auf die Hofmannspitze (3.113 m)