att bergmästaretjensten i nionde bergmästaredistriktet under nämnde tid förrätta.