Helaas, de opdracht sudo apt install cinnamon-desktop-environment is niet de oplossing. Er gebeurt wel heel veel op het scherm, maar het systeem kan sommige bestanden niet binnenhalen.
Ik kreeg wel de tip om sudo apt-get update en --fix-missing toe te passen, maar dit biedt ook geen soelaas.