src: Dateien vom Typ GRA bzw. Dateien mit der Dateiendung.gra lassen sich mit Hilfe von einem PDF Creator bzw. einem PDF Drucker in eine PDF Datei konvertieren.
tgt: Files of the type PMM or files with the file extension.pmm can be easily converted to PDF with the help of a PDF printer.