for the information of others:
After contacting samsung, it seems this error is caused by a bad fusor. The printer has to be taken to a repair shop to be fixed. The fusor itself costs 90 bucks. Since the printer is only 100 bucks, if it is not in warranty, buy a new one.