History_of_string_theory loading ...