Mean-field Wigner function of Bose–Einstein condensates in the Thomas–Fermi limit. (26th October 2018)