When did germany invade france, Germany invaded France in May 1940