It's the Knipex 74 01 200.

The old ones have done their stuff and the new ones arrived today. They
might be the same cutters in name and number but they are not the same - the
new ones are still sharp [1] and they have not yet moulded their plastic
handles to fit my hands.

[1] That means a lot when stripping a cable, a different pressure is applied
to do the same job when using the old well known cutters.

--
Adam