@creativemash I’m sorry, but I deleted the script and didn’t make a copy.
I just entered the theme editor, selected header.php and deleted the first lines, which looked obvious (including lots of numbers).
Update: I was able to fix it. The malware also added a script in the first lines of header.php. I deleted this script. Now, everything is working. Hope this helps someone else.