Dear Dr Hellwig,
Regarding the issue of extracting JPEG / PNG / TIFF pages of good quality from PDF, you may have tried Irfanview.
If not, it is worth trying.
For benefit of all scholars I am reproducing the s
Steps:
1. Go to
http://www.irfanview.com/ 2. Click on Download Irfanview.
3. Follow the instruction for installation.
4. Go once again to
http://www.irfanview.com/5. Click on Download Plugins / addons
6. Follow the instruction for installation.
7. Go to
http://downloads.ghostscript.com/public/8. Select the latest version of ghostscript suitable for your system. For me
gs915w32.exe worked well.
9. Follow the instruction for installation.
10. After installation of these three applications, launch irfanview.
11. Click on File->Open
12. In files of type -> select *.* (display all files)
13. Browse to your PDF and open it.
14. Go to Options -> Multiple images -> Extract all pages.
15. In 'Save as' set the destination file type (JPEG/PNG/TIFF..... there are many more)
15. Set the destination folder to store images.
16. Click OK.