Hilbert–Schmidt and trace class pseudo-differential operators on the Heisenberg group