Was $ETH really stolen?