— Bergmästaretjensten i åttonde bergmästaredistriktet.