Title: MILITARY OPERATIONS OF THE DUTCH ARMY, 10TH-17TH MAY 1940; TRANS. BY S.L. SALZEDO