British war production, 1939-1945: a record (The Times, 1945)