Bergmästaretjensten i Östra bergmästaredistriktet;