Höiesteret , civila och militäraembelsmän