====== Exkurs: Dokumenttyp-Definitionen ======