https://9dok.net/document/zlg17wg2-anwendungen-der-modelltheorie-blatt.html