https://9dok.net/document/z1d909pd-berechenbarkeit-und-komplexit-at-vorlesung.html