Published June 5, 2017 at 1700 × 1133 in Summer School #0.5 at PSi #23 Hamburg