Title: Industrial history in wartime