fortfar och man påstår , att garnisonen i Barcelona skall uppbringas till 12,000 man.