 Strong convergence from weak convergence and tightness

If local compactness makes every subsequential local limit agree with the global weak limit and the $L^2$ mass is uniformly tight, weak convergence upgrades to strong convergence.