den 15 November var Rio de Janeiro ännugodt