Cyclic unsaturated compounds. XXX. The isomerization of 1,2,4,5,5-Pentamethylcyclopentadiene into 1,2,3,4,5-Pentamethylcyclopentadiene