liniearmé på 12,000 man , som i krigstid kan ökas till 18,000 man.