Brian Reay explained on 26/04/2020 :
Our Immersion heater has as an over heat cutout which once cut out.

That might have been the over-heat trip manufactured a bit low, with
the main stat set a bit too high.