Cyanogenmod: Encryption unsuccessful
The factory reset failed to format /data (and thus most likely left the old encryption in place).

Having formatted /data manually, the factory reset finally could complete successfully, and the new version of Cyanogenmod showed up.