Viel Dateien umbenennen

Moin
ich habe hunderte pdf-Dateien mit fast dem gleichen Namen.
z.B.
2015_Ralf_1925_Liste7_angelehnt.pdf
2141_John_1925_Liste2_vergabe.pdf
3056_Mine_1925_Liste11_abgeholt.pdf


Nun muss ich die Jahreszahl 1925 entfernen sodass es wie folgt aussieht:
2015_Ralf_Liste7_angelehnt.pdf
2141_John_Liste2_vergabe.pdf
3056_Mine_Liste11_abgeholt.pdf

Welches Programm kann so etwas ?

1000 Dank