Ich habe im Urlaub erstmals mehr gefilmt (mit Sony RX100VI). Die Kamera nennt die Dateien schlicht C0001.MP4, C0002.MP ..., C0001M01.XML, C0002M01.XML ... und erstellt auch jeweils zugehörige niedriger aufgelöste Proxy-Dateien C0001S01.MP4 etc.
Gibt es irgendein Tool mit dem man all diese Dateien nach dem Muster Datum-Uhrzeit JJJJMMTT-hhmmss automatisch umbenennen kann?