https://9dok.net/document/y9627l4v-ubungen-termersetzungssysteme-blatt.html