Developments and Trends in Infinite-Dimensional Lie