äro hrr höiesteretsassessoru Hansteen och general Wergeland.