The talks are being recorded. They should be online later. Great talk from Armin!