Re: DVI-Datei von Texinfo des as erstellen