Export contacts from Horde


i’m searching for a solution to export / save the contacts from Horde because i want to import them to kopano. Is there any way to save them to a vCard file or a csv file? In many howto documents it is just a click to “Export” but in my Horde there is no export button.

Kind regards