Just received a reply from Mr Jinks, just over two weeks...
Looks like it's indeed a regular 41, shipped to Germany in Feb 1970.
Interestingly enough, it supposedly shipped with a 7 3/8 barrel in .22lr, so someone, somewhere, replaced the 7 3/8 .22lr top with a 7 3/8 .22short one and added a .22lr 5" top to the box. Likely to better fit with the olympic disciplines where .22 short could be used in rapid fire, but the 7 3/8 .22lr wasnt really allowed anywhere.