In PDF-Datei drucken

Falls man einen Artikel aus dem Web später lesen oder irgendwo abspeichern möchte, ist es manchmal praktischer, den Text als PDF abzuspeichern. Dies geht ganz einfach, indem man im Browser auf "Drucken" klickt und dann "In Datei drucken" auswählt. Es stehen nun die beiden Formate PDF und Postscript zur Auswahl. Falls man eine PDF-Datei erzeugen möchte, das Format PDF auswählen und dann auf "Drucken" klicken.