A Mauser HSC was my first thought but pictures could reveal it is a number of other pistols. The HSC had a distinctive frame shape that sloped downward from the front to the bottom of the trigger guard. Unlike the Walther PP while cocked its thumb safety could be set on safe.