From what I know about Bitcoin (which admittedly is not a lot), a primary purpose is to remain anonymous wrt to transactions. If so, how did they find out that he had stolen the Bitcoins? It makes me wonder if the FBI has a backdoor to Bitcoin's block chain process.