Eigentlich wollte ich nichts mehr an dem Dokument ändern, doch ein Fehler, der mir aufgefallen ist, war mir so peinlich, dass ich ihn doch noch behoben habe.