The World of War: Occupation, Holland 1940-1944 (1973) Credits