stortinget om upprättande af en pensionskassa för alla statens embetsmän.