Art. 102 GG, Abschaffung der Todesstrafe