örn åtskilligt rörande grufvans bearbetning.