utdrag ur Norges statskalender ).