Electrochemical reactions. Part XVIII. Reductive cleavage of aromatic carbon–halogen bonds in the presence of deuterium oxide