Update with Ingo Karkat's answer