( Norska riksrättsdomen .)