http://pads.ccc.de/cw-plenum-2018-04-18 does not yet exist