Original: Before the transfer , the Brazilian Federal District used to be the municipality of Rio de Janeiro .
Simplified: Before this , the Brazilian Federal District used to be the municipality of Rio de Janeiro .