The Wigner-Fokker-Planck equation: Stationary states and large-time behavior