— Bergmästaretjensten i niondebergmästaredistriktet