Hallo,
vielen Dank für Eure Tipps bzgl. des DVI-Viewers. Ich meinte natürlich mit GV den Umweg über DVIPS aber ich habe mich da wohl ein wenig unglücklich ausgedrückt. Ich bin gerade noch am Probieren von DVIsvga aber ich glaube, mit diesem Tool ist mir erst einmal geholfen.
Matthias