Battle over Britain: a history of the German air assaults on Great Britain, 1917-18 and July-December 1940