text: With the German defeat in the Battle of Britain , Sea Lion was postponed indefinitely on 17 September 1940 and never carried out .
simplified: With the German defreat in the Battle of Britain , the operation was put off on 17 September 1940 and never became real .