“Whatever else it was, Adolf Hitler's short-lived regime was also a colossal industrial process by which the wealth and productive power of much of Europe was wrenched from its normal purposes and converted into a machine for killing.”