The hard drive contained the private key for his bitcoin wallet.
If he had just written that down he would not need the hard drive to retrieve all those coins.
The bitcoin is not anywhere. There is just a ledger record called the blockchain and all these wallets do is read records from that and display your account history. If the wallet also has your private key, then it can send bitcoin as well.