10252 ) Rättens ombudsman.