В английском варианте гном - gnome, а dwarf, это "карлик", собственно краснолюды и попадают под это определение.