1972 Thesaurus Linguae Graecae, world’s most comprehensive digital library of Greek literature, launches