Der Richter muss eine lebenslange Haftstrafe erhalten.