How Many German Troops Invaded France In 1940