Nachdem sie in praktisch allen aktuellen Karten so benannt wird, könnte man sie daher auch in OSM so benennen. Falls du trotzdem an der Richtigkeit zweifelst, und seit einem Jahr noch kein "OSM-Insiderwissen" auftauchte, ev. noch bei Alpinvereinen nachfragen.