Import and Export Contacts

Contacts can be imported and exported from Gmail. This is useful for migrating a mailbox.
 
See "Import contacts" in the following Google KB:
 
Exporting contacts KB: