Coadjoint orbits in representation theory of pro-Lie groups

We present a one-to-one correspondence between equivalence classes of unitary irreducible representations and coadjoint orbits for a class of pro-Lie groups including all connected locally compact nilpotent groups and arbitrary infinite direct products of nilpotent Lie groups.