utsågs chefen för miningeniörskåren , och d.