kort utdrag ur Norges statskalender.