Danke für die Tipps! Ich habe es noch nicht probiert, denn das Problem hat sich gerade behoben. Ich weiß wie das klingt, aber ich bin nicht ganz ahnungslos in der EDV. Für mein letztes Posting habe ich mich ja etwas durchgeklickt, um die Infos zu sammeln. Geändert habe ich dabei genau nichts. Einzige Ausnahme: just heute gab es ein Update vom Thunderbird.
Und was soll ich sagen: jetzt im Moment wird Junk wieder korrekt markiert! Ich beobachte das weiter, und schreibe in ein paar Tagen mal, ob es dabei bleibt.