https://www.dict.cc/deutsch-englisch/rechnerische+Theorie+des+Geistes.html