Thank you very much for your answer! I checked the plugin, however, unfortunately it does not seem to update URLs in the database. If I change the filename, I receive a 404 error. I also tried Media File Renamer, but the result was the same. Maybe it’s not a plugin problem, but a website-setting issue.