On the anodic oxidation of cyclohexene on platinized platinum electrodes