Pistols Rohm Sontheim/Brenz RG-15, Derringer Pocket Pistol