German invasion plans for the British Isles, 1940 (Bodleian Library, 2007)