He had the bitcoins stored in an external encrypted hard drive. Then he plugged the hard drive in, and they somehow stole them. They were encrypted with a 30 character password. You can't do a password resent on encryption. I'm asking how did they get the file from his external hard drive, and how did they decrypt it?