Text this: Redemption of national-bank notes stolen from or lost by banks of issue.