On the Hohenberg–Mermin–Wagner Theorem and Its Limitations