Fluorine oxidation of high-temperature superconductors