ett kort utdrag ur Norges statskalender.