Nederland en Europa : catalogus van kaarten uit de periode 1940-1945 aanwezig in de bibliotheek van de Topografische Dienst