president är ordförande i riksrätten.