Which battle took place between the Germans and the British in the summer of 1940?