Electrolysis of KI