Local Defects are Always Neutral in the Thomas–Fermi–von Weiszäcker Theory of Crystals