Petrópolis is a city in the highlands of Brazil, not too far from Rio de Janeiro. It was the summer residence of Brazilian emperors in the 19th century.