50Hz is strictly required by this controller, according to the manual. Or at least the website at the time when I bought my replacement heater set.

Possibly some obscure microcontroller, which derives its clock from the mains frequency. Old radioclocks used to do that.