Pistols Walther PPKs, Stainless .380