4268 ) Rättens ombudsman.