Garnisonen i Madrid skall ökas ända till16000