Well,
Got it home in the mail today. It's well-made and appears to be relatively young, although it has some traces of wear. Wouldn't think it to be older than, say 25 to 30 years.
It's 9mm (good, as I needed that) and fits both the 1913 Dutch and the postwar VoPo barrels like a glove.
Camera batteries are empty so I slung it under the scanner instead.