Do I have to migrate the contacts one by one or is there a way to export to a file from google and import from the file in DecSync?

As far as I can see, google allows exporting as csv, and DecSync allows importing vcf/ics files, so I would have to convert the csv to one of those formats if that is possible.