欧洲的军工股票大涨。