Peter Grimm, Verloren luchtruim : de geallieerde luchtoperaties boven Nederland in mei 1940