http://pads.ccc.de/cw-plenum-2017-07-17 does not yet exist