... dass die sterne auf der brasilianischen flagge den himmel über rio de janeiro am tag der ausrufung der republik darstellen