4238 ) Rättens ombudsman.