Since we archive these discussions, it will be good to have as complete a set of data as we can for posterity.

-pin diameter at small end and at big end
-length of business end of the pin, from flange to end
-length, flange to face of head of the pin
-thickness of the head of the pin
-diameter of the head of the pin
-diameter of the flange
-thickness of the spring catch
-width of the cut in the spring near the pin's head
-dimensions of the thumb/push pad for the spring
-confirmation that the pin has a straight taper (elementary)
-for that spring, diameter of the little keeper/cross pin
-distance of that little cross pin from the small dia. end of the part

That should get us close to a good working drawing.

At market value of €250.00 plus wait time plus international shipping it might help someone else get closer to having a replacement part made for their rifle.

With that information I know I could get to work on one.

Cheers
Tinker