Don't Germany and France have E10 (10% ethanol) petrol?. I think it burns hotter than E5. Maybe that's one of the reasons why the manual recommends a hotter plug?.
Edit..the general consensus on the web seems to be that ethanol burns cooler than petrol :\
Edit..the general consensus on the web seems to be that ethanol burns cooler than petrol :\