Om Justitie-ombudsmans-embetet , Om Högsta Domstolens oehStatsrådets