Gmail and GMX with Getmail and Mutt

I’ve recently gotten a gmx account – mostly to keep a separate “professional” email address. Like gmail, gmx gives you IMAP access, so I can use it with my favorite mail client mutt. This is about the two (minor) snags that I ran into getting mutt to receive mail from both accounts. The first gotcha…