Bergmästaretjensten i åttonde bergmästaredistriktet.