oroligheternas undertryckande i den närbelägna staden Gracia hade inkastat 2,500 granater,