Takeout Your Mbox
^ kleiner Tipp: bei Google Takeout kann man jetzt auch das gesamte Gmail-Account als Mbox exportieren. Das dauert zwar ein bisschen, aber der psychohygienische Frieden zu wissen, dass man dafür zumindest auch ein Backup hat, ist nicht so ohne.
(‘select all’ aus-klicken, ‘gmail’ anklicken, auf ‘create archive’ clicken und ein bisschen warten)