Bergmästaretjensten i västra bergmästaredistriktet,