“the German invasion of England, July 1940”