The economics of World War II