A study of the fluorine evolution reaction at a platinum electrode in anhydrous hydrogen fluoride