Properties of Stationary Statistical Solutions of the Three-Dimensional Navier–Stokes Equations