Use the button at the bottom right of the page to switch the language to English. But the translation was not by me, but by a lindat translator developed by Czech scientists at MFF UK. Using their APIs, pythons and shell scripts, I have automatically translated the pages, so that any English text you see here is generated automatically, without my manual correction (largely without any intervention). Below you'll find some details about how I did it all: