Wie lange ging die Todesstrafe in Deutschland?