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