Allerleigrubenspitze (A, 2131 m) von Robert Hölzl