It's my understanding that the Bureau of Alcohol, Tobacco, Firearms, and Explosives, ATF, was quickly able to trace the gun, the gun's purchaser, using records from an out-of-business gun store, records that the government has required to correct.