Ist 3 mm, glaube ich.
Sei aber vorsichtig beim bestellen, ich habe den auch, er fällt klein aus. Hab normal höchstens 11, aber beim Plasma ist das ganz schön eng.

Grüße aus Hessen

Jerry