Thanks! Here's the program text: https://esc.mur.at/en/node/3984 https://esc.mur.at/en/node/3984. (For some reason, I can't find the English version.) At some

Thanks! Here's the program text: https://esc.mur.at/en/node/3984 https://esc.mur.at/en/node/3984. (For some reason, I can't find the English version.) At some point I want to publish a web version, but first I need to update my website sigh.