I like the Migadu migration guide: install thunderbird, add both accounts, simply move the folder from one account to the other. Messy is the Google label system which tends to create dupes in thunderbird so you need to do some label cleanup first.