Anderer Vorschlag: Der Hauptgipfel bekommt den Namen, unter dem der gesamte Berg bekannt ist, und seinen deutlich weniger bekannten Eigennamen als reg_name oder loc_name dazu, damit dieser beim Suchen auch gefunden wird.
Für jeden ab 20 km nördlich Kempten wird da der Grünten stehen und nicht das Übelhorn; es wäre etwas verwirrend, statt des Grüntens an der vertrauten Stelle einen vollkommen unbekannten Gipfel in der Karte zu sehen, nur weil die oberen zehn Meter halt so heißen. Wirkt auf mich ein bisschen wie Klugscheißerei.
–ks
