kommer således att ökas med 5 infanteri-regementen,