Export from and Import to Thunderbird

Yesterday I wanted to backup some mails of my thunderbird, but I realized that I hadn’t installed the great tool. But how was it called?
I finally found the name: ImportExportTools and the link! So here it is as a mnemonic.