Barcelona tenía entonces unos 25 000 habitantes.