WICHTIG: draft-Einstellung für DVI-Ausgabe

Der DVI-Generator hat scheinbar etwas Mühe beim Laden/Rendern von
Bild-Dateien (hängt sich regelmässig auf). Dafür gibt es den Switch
"draft". Dadurch werden die Bilder nicht geladen. Für die Ausgabe als
PDF am Ende kann dann draft wieder entfernt werden.