The peak labelled "Tonionhoehle" is a mistake. When you look at the official Austrian government maps, you will see "Tonionhoehle" printed in that area, but it refers) to a cave (cave symbol to the right of the text). Some previous editor of Openstreetmap overlooked the cave symbol and thought that "Tonionhoehle" refers to the peak (which is nonsense, since hoehle means cave). I don't know the correct name of the peak, but definitely it isn't "Tonionhoehle".