Hallo Markus,
es sollten M18/175 sein. Hier eine Übersicht gängiger Bezeichnungen einiger Hersteller. In der DDR waren Zündkerzen nichts Besonderes, sodass ich vermuten würde, dass die richtigen verwendet wurden. Die Bezeichnung ist seitlich am Schaft eingeprägt und sollte immer noch zu erkennen sein. Wenn sie nicht beschädigt sind, sollten sie fürs Erste reichen. Hast Du Probleme, dass Du denkst, neue zu brauchen?