Unnütze .dvi Datei gelöscht.