grufingeniörstjensten i mellersta bergmästaredistriktet.