I found a link that said Legacy Collectibles had (that was 2013, maybe still have) a kind of potted history of the Mauser HSc pistol. Worth asking for a copy?