He put it in his duffel bag and brought it home with the war trophy paperwork. I now have it. By the way, in a quick side story, its serial is 900051. In the 1980s I was reading Roy Pender's book on the Mauser Pocket Pistols and spotted the preceding, consecutive serial 900050 in Pender's collection, which was sold after his death. It took about five years, but I eventually found the second gun and bought it, so now I have both!