On Tue, Jun 11, 2013 at 06:52:11PM +0100, Arthur Reutenauer wrote: > Thank you for the report, but it looks like the file called > "folien.dvi" actually is a PDF file. ... or rather PostScript, actually. Arthur