Oxygen difluoride was first reported in 1929 ; it was obtained by the electrolysis of molten potassium fluoride and hydrofluoric acid containing small quantities of water .
It was made by the electrolysis of molten potassium fluoride and hydrofluoric acid .