Wie lang gab es die Todesstrafe in Deutschland?