[Electrochemical disinfection using the gas diffusion electrode system].