— Bergmästaretjensten i lista bergmästare-distriktet,