Published May 31, 2017 at 2480 × 1753 in Summer School #0.5 at PSi #23 Hamburg