Zündkerze im Tsdi 50

Ich wollte mal fragen was für eine zündkerze genau in den elystar tsdi kommt. Laut hier ausgedruckter bedienungsaneltung eine NGK CPR8E. Ist das richtig????