om den norska riksrättsdomen.