Applications of the water--gas shift reaction. II. Catalytic exchange of deuterium for hydrogen at saturated carbon