m . , att begagnas för grufvornas bearbetning.