https://9dok.net/document/q7w79rlv-theoretische-informatik.html