Infinite Dimensional Lie Transformation Groups door H. Omori