4243 ) Rättens ombudsman.