Okay, I tried
sudo apt-get install kde-plasma-desktop
but now I have to choose a default display manager.
I have no idea what the differences are between KDM, LightDM and MDM...
Okay, I guess MDM (Mint Display Manager) is the default.
If not, I guess I will have to learn a few more terminal commands...