Aliens — Deportation — Members of former Nazi governments involved in religious and political persecution — Retrospective removal of bar to deportation — Whether constitutional — Nature of deportation — Whether a punishment — Persecution — Definition — Whether unconstitutionally vague — The law of the United States