Gegevens betreffende het gemobiliseerde Nederlandsche leger 1939-1940 / Krijgsgeschiedkundig Instituut