Das bezweifelt keiner. Die Frage ist ja gerade, wie es ist 
Der ganze Berg heißt Grünten, und den Namen kennt jeder, der sich mal mit dem Allgäu befasst hat. Der Hauptgipfel heißt Übelhorn, aber das wissen maximal 5 Prozent all derer, die schon auf dem Grünten waren. Ich fände eine grafische Karte merkwürdig, in der der weithin bekannte Name des Gesamtberges nicht auftaucht und stattdessen der Hauptgipfel mit seinem wenig bekannten Namen benannt ist.
–ks
