( Norska riksrättsdomen ).