Danke für eure Ideen. Ich habe jetzt die Lösung gefunden. Ich hatte angenommen, dass das Problem im Zusammenspiel von Thunderbird und dem Android-Handy lag. Aber Thunderbird hat alles richtig gemacht. Die Kontakte-App des Samsung-Handys gibt zwar vor, Kontakte im vcf-Format importieren zu können, sie schafft es aber nicht. Dafür gibt es eine andere Extra-App, die ich mir dann installiert habe (vcf-Datei Kontaktimport), mit der lief der Kontaktimport problemlos.