The summer palace in Petrópolis.