5,000 borgargardister förstärka garnisonen i Madrid.