4269 ) Rättens ombudsman.