Diamantenbezirk, District in der brasilianischen Provinz Minas Geraes (Südamerika).
Pierer's Lexicon. 1857–1865.