Spain, the Second World War, and the Holocaust