I have been reading everything about Walther and finally purchased a PPK/S. The gun was perfect and in my haste I never noticed although it is marked PPK/S, .380/9mm Kurz, Manurhin, made in France and Alexandria, Va. on the other side. There is no reference to Walther or Interarms. I believe...