> I was then moving mails from my local "All Mails" folder into a local
> archive folder that I do not include in sync. With those moved mails no
> longer in my local "All mails" folder I thought they would be deleted on
> the remote gmail folder. Thats how it works with my university mail server.
This is a problem with Gmail's deliberately incompatible IMAP
implementation and its abuse of folders and Gmail labels. See:
https://groups.google.com/forum/#!topic/mozilla.support.thunderbird/9T3VGSvPJgM
You need to go to Gmail IMAP/POP settings (in normal view; the
options are not available in HTML view) and set "When a message is
marked as deleted" to "Move to trash" or "Immediately delete." Also
set "Auto-Expunge off."
If I remember correctly I also had problems with messages with
multiple labels either showing up multiple times or not being deleted
correctly. The way to solve that problem was to remove all labels in
Gmail (I did not mind because labels had broken down as an
organizational tool after the first couple of thousand messages).
Between this and Gmail's privacy and deliverability (on the receiving
end) problems I became convinced that the real solution is to stop
using Gmail. Fortunately mu4e+offlineimap makes it effortless to use
multiple mail accounts and you can gradually transition from Gmail to
other email providers.
Vladimir