Hallo Horst,
vielen Dank für Deine Empfehlung - das ist genau das, was ich seit langem gesucht habe!
Der einzige mögliche Nachteil: Man muss sich registrieren, um das Tool zu verwenden. Dabei kann man aber auch eine ungültige Mail-Adresse angeben

.
Ich habe das Tool jetzt auf einem Linuxrechner ohne Probleme laufen. Wenn man nicht will, das seine lokalen PDFs in der Cloud gespeichert werden, sollte man vor dem ersten Importieren das Synchronisieren der Files abschalten - die Voreinstellung ist leider das Speichern im Netz.
Viele Grüße
Michael