6874 ) Rättens ombudsman.