Sorry, got it! I had to change these files in Plesk. Had something to do with rights. Everything is working fine now!
If I make these changes in the WordPress plugin editor, it is not possible to save them. I get an internal server error.
Any ideas how to solve that problem?
