Exporting contacts to CSV
To export all contacts in an address book, click the Export tab for the given address book and select CSV Export. This will take you to another page, just click the blue Export Data button. The export will happen and a button will be shown to download the data.
If you wish to export specific contacts, here is a video of how to do so: