Moin! Gibt es ein Tool, um in PDFs Zeichen(folgen) zu ersetzen? Ich hab hier PDFs, die mit Latex erstellt wurden und wo Umlaute noch altschulisch, also z.B. a", geschrieben wurden. Das erschwert das Suchen in den Dokumenten unnötig. -- Gruß Mike