Hallo Kuhni,

gibt es  öffentlich zugängliche Quellen für die Behauptung? Falls belegbar, kann man "Palfel" ja als alt_name hinzufügen. Ich habe gerade im Bayernatlas nachgeschaut, hier werden die Gipfel auch als "Palfenhorn" bezeichnet.