https://123dok.net/document/yngndojp-ergodic-non-abelian-smooth-extensions-of-irrational-rotation.html