Infinite-Dimensional Lie Groups by Hideki Omori