Your original method worked for me. The method @Stephen Marsh suggested also worked.
The only difference is that in your screenshot, the current filename is Behandlungen 45 Sek 1:1; Treatments 45 Sec 1:1;.mp4 Is that really the original filename or is it an aboration of the batch rename tool? I wouldn't think it's possible to have that filename in Windows.