ich bin dafür nur einen Gipfel zu behalten, den anderen komplett zu löschen. In keiner anderen Karte sind da 2 Gipfel eingetragen. Außerdem handelt es sich hier ja nicht um einen eigenen Berg, sondern nur um einen kurzen Ausläufer (mit sehr geringer Schartenhöhe) des Muckenkogel.

Und dann würde ich eher den höheren östlichen Gipfel damit bezeichnen, was auch dem Eintrag in der ÖK50 entspricht (die in topographischen Dingen über der basemap.at steht ;-)

Die historische Betrachtung kann- oder kann nicht - korrekt sein. Solange es aber keine konkreten Fakten dafür gibt, dass Wanderer heute nur den westlichen Gipfel damit meinen, würde ich beim östlichen bleiben. 
Ok so?