jau, wer ein MS Office hat, kann auch den an sich sehr leichtgewichtigen und praktischen Office Picture Manager nutzen. Kann auch fast alles außer Retusche. Auch Batch. Exportieren, Größe ändern, einfach prozentual so lange runterschrauben, bis die Breite unter 1000 pix ist, und ab dafür.