So I currently have a 75 Swedish police issue PP in .32 and a 94 Interarms stainless PPK in .380. Would love to add a .32 blued PPK to the collection (and have been searching for almost a year now), but not looking to spend over $800. So that rules out pre war/ war time ppk's. I'm thinking Manurhin or Interarms (not interested in s&w). My question is were West German PPK's ever imported into the US, or just PPK/S's? When did production start? Obviously after 68 would make them illegal for import.