De hecho, los daños producidos en sus cimientos fueron tan graves que una parte de la muralla exterior debió ser derribada posteriormente.