Also ich habe jetzt manuell nachgemessen: sowohl 16mm als auch 17.5mm sollten vom Durchmesser her passen. Der in meinem Bordwerkzeug hat 21 mm...fragt mich nicht, wie der da hinkommt.
Die Bosch X5DC haben laut eBay 17.5mm.
Ich glaube ich werde mir beide Schlüssel holen müssen, und dann schauen, welcher auf die jetzigen Zündkerzen passt. Hab ja zumindest ne 50:50 Chance, dass es beim ersten Anlauf passt