Isotope effect in the photodissociation of HDO at 157.5 nm