The exploration of Tibesti, Erdi, Borkou, and Ennedi in 1912-1917