以色列国防军：以色列国防军还打击了“圣城军”主要指挥部内的基础设施，以及多种武器和防御系统的其他生产地点。