By now you can bulk export entire folders with an even easier multi-select function: https://tutanota.com/faq#generalMail I hope this helps!