ich habe den Namen anhand der Diskussion im Forum vor ein paar Monaten auf "old_name" gesetzt. Sollte man doch noch Quellen auf aktuelle Verwendung des Bergnamens finden, kann man dazu wieder eine Note aufmachen