Hochtor, Ennstaler Alpen, Rakousko