Materialer om verdenskrigen, 1939-1945 - vest-agder - krigsoperasjoner