A posteriori error estimation for the non-self-consistent Kohn–Sham equations. (14th September 2020)