Cyclodimerization of the 1-methyl-1,3-diferrocenylallyl cation into 1,3,5-triferrocenyl-4-(1-ferrocenylethenyl)cyclohexene