Vielen Dank für die Antwort. Auch dieser Tipp hilft, zeigt er doch, dass das vielleicht doch nicht ganz so einfach ist.
Das manuelle Kopieren ist sicher für 5 oder 10 ein gangbarer Weg. Wenn man aber öfter mal 100 oder noch viel mehr hat, dann stellt sich die Frage nach anderen Lösungen.
Dabei stelle ich mir das so einfach vor: Anzahl Mails selektieren, rechte Austaste, Mail an alle wählen. Nur gibt es das so wohl nicht.
Ich will das Adressbuch als Lösung auch nicht ausschließen. Wenn es also eine Möglichkeit gäbe, auf einen Rutsch die Absender vieler Mails in das Adressbuch zu übernehmen, wäre das schson ein erster Schritt. Aber selbst diesen Weg habe ich nicht gefunden. Man muss jede Mail öffnen und mit der rechten Maustaste auf dem Absender die Adressbuch-Maske öffnen und speichern. Das ist auch mühsam und vor allem fehlerbehaftet wenn man öfter mal vor ein paar hundert Mails sitzt.
Vielleicht hat ja noch einer eine Idee.