Edward Witten explains The String Theory (2000)