das ist das script, welches ich für diesen Zweck geschrieben habe.
Die Adressen – und Namen falls vorhanden – werden aus den markierten Mail(s) in Mail extrahiert und in eine Gruppe in Contacts.app gespeichert, deren Namen man frei wählen kann.
Wenn das nicht gehen sollte, melde dich und sage mir, was nicht funktioniert.