The IMAP server had a problem, which made a reboot necessary.