benämningen ” bergsmän ” torde nu få i verkligheten göra skäl för.