Wie lange gibt es keine Todesstrafe mehr in Deutschland?