6822 ) Rättens ombudsman.