Indragning i Brasilien af pappersmynt.