Ich habe hier ne Menge Fotos im jpg-Format bekommen, die aber alle nicht mit *.jpg enden sondern durchnummerierd sind. Nun möchte ich bei allen diesen Dateien die Endung auf .jpg ändern, ohne das ich das bei jeder Datei einzeln machen muss. Gib es da irgend ein Programm, mit dem sich sowas erledigen lässt? Vielen Dank schonmal für die Hilfe.