In the electrolysis of water, which gas is produced at the anode?