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.