RVM, I should have said: This did happen after rebooting, but as far as I noticed, not immediately. And I have rebooted again and it has not restarted so far. It seemed to me that something was triggering it, but I have not noticed what. I will keep an eye on it.