Die Datei popstate.dat habe ich nun doch gefunden (warum das die Suchmaschine nicht geschafft hat, weiß ich nicht). Ich hab mich an der beschriebenen Pfadvorgabe orientiert.
Dann habe ich (sicherheitshalber) die alte popstate.dat umbenannt und Thunderbird neu geöffnet. Damit wurden alle Mails aus meinem Konto wieder geladen. Das hat also geklappt. Danke für die Hilfe.
Für das Laden einer einzelnen Mail müsste wohl der Code in der popstate.dat entschlüsselt werden, um dann die jeweilige Zeile dort zu entfernen. Aber das ist wahrscheinlich nicht hinzukriegen.
Gruß
Peter