There are many export options, but few will be enabled in the free/trial version after 30 days.
That said, when clicking EXPORT|VIDEO you should be presented with a number of formats...
Leave the defaults for that format as is, and proceed with the export/download. Does that succeed?