Turns out the heist was done by 🇰🇵North Korea. A hard-fork and chain rollback seems obvious now, otherwise the bosses of Ethereum will face a deluge of legal charges by western governments.