https://9dok.net/document/y962wenj-modelltheorie-i-blatt.html