Electroorganic chemistry. 87. Indirect electrooxidation of amines to nitriles using halogen ions as mediators