I måndags skedde val af stortingets embetsmän medföljande