Hohenberg-Kohn-Theorem loading ...