There was just a power cut. Only for a second, so not exciting or anything. But the computer restarted. I wonder how often that happens, because the computer often restarts for no apparent reason, I thought there was something wrong with it. Radio went off this time though, so definitely a power cut this time.