arméen i Afrika äro af den 19 dennes.