Weak–strong uniqueness for the Landau–Lifshitz–Gilbert equation in micromagnetics. (October 2020)