Bergmästarébefattningen i mellersta bergmästaredistriktet,