6832 ) Rättens ombudsman.