Elements of the History of Locale Theory