I should add that I can log into the GUI manually by running startx and exec startlxde. I installed the lightdm-razor-greeter and it works too. So it must be the lightdm-gtk3-greeter. But even when I start the GUI in one of the two ways, the Pi becomes incredibly slow and in practice unusable
