Wie lange gab es Todesstrafe in Deutschland?