— Bergmästaretjensten i östra bergmästaredistriktet.