Back around 1982 I purchased a German Walther PP Super in .380 imported my Interarms. It is a beautifully finished pistol and has a decocking lever. I was told that Interarms had imported 1000 of these as they are offered in 9mm Ultra in Europe. It came with a test target and cost $595 way back then. I have never shot it and it remains new in the box. Have any Walther fans seen this model? Serial number is 0596.