Three years later the naturalist Richard Kirman introduced the Dolomite as a new mineral; the name from there became used to name the dolostone rocks and finally gave the Dolomites - referred in the past simply as the Pale Mountains - their actual name.