https://123dok.net/document/zgw3p7e8-holomorphic-actions-kummer-examples-and-zimmer-program.html