Ergänzung: Unter BugZilla findet man einige ähnlich gelagerte Probleme schon seit TB3, die sporadisch auftreten.
HIER! gibt es einen Workaround, der möglicherweise bei mir funktioniert hat. Allerdings darf man NUR die Junk-Filter-Einstellungen unter "Lokale Ordner" neu und richtig einstellen, und zwar sofort nachdem man wie in dem Post beschrieben neu gestartet hat. Wenn man das bei den einzelnen Konten separat einstellt, trat bei mir sofort der Fehler wieder auf.
Jetzt werde ich mal einige Tage abwarten, ob das Problem damit gelöst ist...
Der Bug scheint aber damit schon seit Version 3 sporadisch aufzutreten - merkwürdig, dass immer nur wenige betroffen sind, es wäre ja mal gut zu wissen, was den Bug triggert...