This is the Walther ppk.