The Battle of Britain: An Air Ministry Record of the Great Days from August 8 to October 31, 1940