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...