Title: The oxidation of hydrogen chloride in a microwave discharge