Weak-strong uniqueness for the Navier–Stokes–Poisson equations. (May 2020)