Found it.
First, the assests.php was not there when I looked at the directory, so i was confused. (I guess, my ftp client did not refresh the directory listing properly)
The problem was:
I installed wordpress in a subdiretory (https://codex.www.ads-software.com/Giving_WordPress_Its_Own_Directory) so the path in the assests.php was wrong. Had to add the name of the sub dir.
A suggestion:
do not use absolute directory paths in that file. Use something like DOCUMENT_ROOT or dirname( __FILE__ ) instead. (if wordpress or the whole server is moved on file system)
Next Problem:
After (re-)enabling WP Super Cache the tinyfier stopped working. It has no effect at the CSS and Javascript tags in my page’s HTML code.