I was looking at a Walther trade magazine and noticed they were advertising a Walther PPK/E. It looked like a blued versio of the PPK/s, but the dimensions in were slightly different. The pistol in the picture did not have "Made in USA" stamped on the slide, so I was wondering if they were made here or elsewhere. Anyone know anything about these pistols? Thanks.