OK, I just fixed it myself: After doing a full backup and cold reset, I found out that there is no PIXEL.TTF by default, so I just restored everything and deleted the PIXEL.TTF. One more warm start and the ugly font is gone:
I guess I have to remember doing full backups before installing new software…
Regards
Frank