PDF-Dokumente: Datei verkleinern

PDF-Dateien sind praktisch, um Daten plattformunabhängig auszutauschen. Manchmal sind die PDFs aber zu groß, um sie etwa als Mail-Anhang zu versenden.