Hm...
das Problem stellt sich jetzt folgendermaßen dar: keine PRN-Datei, die meine Kollegen mit ihren Druckertreibern erstellt haben, lässt sich mit irgendeinem Konverter konvertieren.
Möglicherweise geht die Welt morgen unter und dies ist einfach ein Symptom der nahenden Apokalypse - na wenn schon.