Desktop broken, P11, 30.5.2017

To fix a Gnome desktop which is completely broken, the following files can be removed or renamed:


After the rename/remove action the PC has to be rebooted. The drawback of this 'fix' is that the desktop starts from scratch. However, at least the PC becomes operational again.