Los alemanes habían penetrado la frontera en Sedán el 15 de mayo de 1940.