Hallo Martin,
Übrigens heißt die Option "Print to File" im Normalfall, dass die Druckdaten komplett für den ausgewählten Drucker aufbereitet werden, mit allen Drucker-Steuersequenzen und Pipapo, und dann nur das, was sonst an den Drucker gesendet würde, stattdessen 1:1 in eine Datei geschrieben wird. Die könnte man dann später direkt an den Drucker senden.
Nicht logisch, dann müsste "Print to File" ja eine Unter-Kategorie des Druckers sein. Bei mir ist es aber auf derselben Ebene wie die Drucker, also als Alternative.
Und dass PDF Dateien für einen bestimmten Drucker gelten, habe ich auch noch nicht gehört.
Linuchs