OK holgi und Danke dir, dann werde ich mal das in Angriff nehmen.
Die Home Partition ist nicht absichtlich so groß, hat sich so ergeben. Aber da mir fällt ein, irgendwie kann man doch von der /home ein wenig Speicher der /var etc., ohne Datenverlust, zukommen lassen.
Zumindest glaube ich, ähnliches gelesen zu haben, lange ist es her.