The planar D7h structure of tropylium cation.