i Toledo-bergen äro sprängda och dea beryktade El Rcjo dödad.