"Walther PPK .380, double action."