https://123dok.net/document/zlg1g6k2-the-semidirect-product-of-the-heisenberg-group-n.html