Jeder muss sterben
(Original title)