You should be able to pick up an old style timer plug for under 10 euro / USD in your hardware store.

They’re a tiny bit fiddly to set up but given how power hungry those things are you’ll be saving money in no time.

We have one around here somewhere. I’ll see if I can dig you out a picture.

Internet was faster…