Wie lange gab es die Todesstrafe in Deutschland?