jemte utdrag ur Norges statskalender utkom här i onsdags.