ett utdrag ur Norges statskalender.