— Bergmästaretjensten i vestra bergmästaredistriktet;