Infinite-dimensional Lie Groups by Karl-Hermann Neeb