krigstid utgöra 12 000 man.