Materialer om verdenskrigen, 1939-1945 - trondheim - krigsoperasjoner