https://123dok.net/document/y9618j0l-a-frequency-space-for-the-heisenberg-group.html