3513 ) Rättens ombudsman.