What become of the electric energy provided in electrolysis? In what device is this energy transformation reversed?