德国攻克法国用了多长时间