Well, I installed Legacy Evernote 7.14 as offered in the help section. Guess what? File-Export does not work. You select notes, you click the menu Export... and nothing happens. Using EvernoteLegacy_RELEASE_7.14.1_458325.zip
I then restored Evernote from my Time machine. Version Evernote_RELEASE_7.14_458244.zip. File-Export does work there.
Coincidence? Sorry, I don't believe that.
Right now I am so angry at this company, that I am even considering a Micro$oft product.