(;FF[4]SZ[10]EV[rev10.ch.7.1.1]PB[Bas]PW[Marcel Peperkamp]SO[https://www.littlegolem.net])