pl nocke 9 mm hub,
kr nocke ca. 9,6 mm hub.
einfach mit messschieber messen.
so wie ich mich errinnern kann.