After introducing some preliminary notions I will describe how searching for the Haar measure on a quantum group defined by a modular multiplicative unitary leads to the concept of the Heisenberg double. I will define this object in analytic framework of general quantum groups and discuss some of its properties.