Die deutsche Kolonie Petropolis in der Provinz Rio De Janeiro, ein Beitrag zur Kenntniss Brasiliens