Grufve-ingeniörsbefattningen i mellersta bergmästaredistriktet,