Where does the amount in the title ("45k ether") come from? I didn't see that in the article.
EDIT: Apparently from https://etherscan.io/address/0x6a164122d5cf7c840D26e829b46dC... , which is something I don't have the depth of knowledge to assess for myself.