The Brazilian capital’s public planetarium, combining a projection dome with astronomy exhibitions, workshops, lectures, and educational programs.