Recently I was pointed towards a website with declassified CIA reports.
This yielded some interesting documents.
One document is a briefing and equiping document for a team that were sent into Yugoslavia via Greece in 1954.
The document lists the issued equipment for each members, and interestingly enough, mentions 3 Mauser pistols with their serial numbers. The numbers clearly show that these were Mauser HSc pistols.
Pistol number 907990 with holster, 21 rounds of ammo and 3 magazines.
Pistol number 821659 with holster, 21 rounds of ammo and 3 magazines.
Pistol number 904528 with holster, 21 rounds of ammo and 3 magazines.
Apart from those, they were equipped with Mauser K98 rifles and a 9mm 'Schmeisser' MP, number 6559.
Would be interesting to know if the 3 pistols still exist