Electrochemical fluorination of some cyclic tertiary amines