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