Lustigerweise bekam ich just eine PDF, die man aus Adobe Reader DC auf dem Drucker nur "randlos" drucken kann - danke an Stephanie für das Auffinden! - beim Versuch normal zu drucken geht die Datei kaputt. Scheint also in dieser speziellen Situation ein Problem des Zusammenspiels von PDF und Druckertreiber zu sein.