As it turned out the problem was more serious. Apparently the installation of a number of Windows 8 updates had failed. In the overview of installed updates their status was described as "Waiting for reboot". However, this did not change when you rebooted.
↧