Spectral_theory_of_normal_C*-algebras loading ...