https://9dok.net/document/yev6rje7-berechenbarkeit-vorlesung-ss-ul-ws.html