As far as I have been able to figure out, I have deleted too much with TWRP before flashing the first time. I deleted everything but the SD Card. Next time I'll only delete cache and dalvik.
Solved this by flashing a Global Stable ROM in fastboot mode, which seemed to repair things. Then booted...