“the Nazi program for the destruction of the Jews of Europe”