https://9dok.net/document/q7w7nmdv-modelltheorie-ii-blatt.html