Da ich gestern verzweifelt veruscht habe den Papierkorb zu leeren, um den Speicherplatz wieder frei zu haben, habe ich heute endlich die Lösung.
Im Terminal
In das Papierkorb-Verzeichnis wechseln mit
cd ~/.local/share/Trash/files/
Dann den Inhalt löschen mit
sudo rm -rf *
Zum vorher nachher Check kann man
df -h
eingeben, um zu sehen, wie viel frei ist.