Eine Korrektur muss ich noch anbringen: Scheinbar klappt es nicht mit allen PDF-Dateien. Wenn ich diese aber manuell per "pdf2ps" konvertiere, dann klappt der Druck.