https://9dok.net/document/zkwvm1dm-berechenbarkeit-und-komplexität.html