Page moved: https://origemdosnomes.com.br/glossario/diamantina-origem-e-significado-do-nome/