utdrag ur Norges statskalender rörande armén.