You can find the right .vcf file with a click on “Einstellungen” and the download icon of the adressbook.
I have an additional slash in the URL (I don’t know, if this may be a problem).
https://[SERVER]/remote.php/dav/addressbooks/users/[USERNAME]/Contacs/?export