I looked into this again. I misremembered: iOS Mail does not “mark” deleted mails but is supposed to move deleted Mails on IMAP into a Trash folder (or Archive). That does not happen in my case and I have no clue why. The mail disappears in the app but is unchanged on the server.