Das mit dem Filtern hat leide nicht geklappt - hab´ ich wohl nicht richtig verstanden. Aber nicht schlimm: es hat auch so geklappt. Und es waren dann doch ein paar hundert mehr als gedacht - hat sich also gelohnt.
Ich bin jetzt so vorgegangen:
- alle Cover exportiert
- in Windows Explorer: Cover nach Abmessungen sortiert und alles > 500x500 geändert
- geänderte Cover wieder importiert
Zum Ändern der Größe habe ich übrigens ein kleines Tool entdeckt, mit dem das einfach und rasend schnell ging: Flexxi - Batch Image Resizer
Danke nochmal für Eure Unterstützung!
Edit: jetzt muss ich nur noch irgendwie die "progressive-jpgs" finden und ändern. Das geht wohl nur manuell. Aber das sollten auch nicht so viele sein ...