Für alle, die dieses Problem auch einmal haben hier die einfache Lösung:

– Terminal öffnen
– Papierkorbfenster öffnen
– im Terminal sudo rm -r (danach ein Leerzeichen) schreiben und noch nicht Enter drücken
– alle Dateien im Papierkorb markieren und per Drag & Drop mit der Mouse ins Terminal kopieren
– jetzt Enter drücken
– das Root-Passwort eingeben (man sieht keinerlei Zeichen beim Schreiben)
– und nochmal Enter drücken

Jetzt sollten auch die hartnäckigsten Dateien aus dem Papierkorb verschwunden sein.