Bin, nachdem von Windows gequält, auf Linux (S.u.S.e.) umgestiegen.
Lief auch alles problemlos, bis auf den Drucker (HP Deskjet 710C).
Scheinbar nicht von GhostScript untersützt und in Drucker-HOWTO stand auch nichts konkretes. Hab allerdings rausgefunden, daß es ein sog. GDI (nur Windows) Drucker sein soll. Brauch ich jetzt einen neuen Drucker oder gibt es da noch Möglichkeiten?