Grufveingeniörsbefattningen i östra bergmästaredistriktet;