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