If the Holocaust had never happened, would the German war effort have benefited much from the resources which were otherwise used in the extermination programme?