The gun used to shoot the Sean Connery character is a Walther PPK, the same model as Connery’s James Bond gun.