Ich möchte mich bei demong1 bedanken. Sein Tipp hat perfekt funktioniert.

Ich hatte anfangs ziemlich Respekt vor dem "sudo rm"-Befehl, da ich beim googeln eigentlich nur heftigste Warnungen gefunden habe.
Nach einem kompletten Backup meiner Boot-HD hab ich es gewagt - und siehe da nun läuft wieder alles perfekt.
Ich denke, das sollten alle wissen, die vielleicht dasselbe Problem haben.