Möchte gerne die Zündkerze meiner gerade gekauften P200E austauschen. Vom Vorgänger eingebaut war eine Bosch WR7CDX; allerdings sagt eine Zündkerzenvergleichstabelle, dass die im Handbuch empfohlene Bosch W225T2 einer heutigen W5-Kerze entspricht. Was ist denn die richtige, aktuelle Kerze für den Originalmotor?