Walther PPK .380 in good condition with plastic Walther box and two magazines. One flush mag, one with pinky extension. 

Proofed in 1979 in Ulm, Germany, this gun was imported after the 1968 GCA which banned them with a points system, leading to the PPK/s, a pistol that was larger and garnered enough points with the ATF to be allowed for import. This gun was most likely imported by a governmental agency (who doesn't have to abide the 1968 GCA) then sold off at a later point.