https://9dok.net/document/yj753rlm-vl-turing-achtigkeit-berechenbarkeit-komplexit-ws-gerhard-woeginger.html