Theorems on Regularity and Singularity of Energy Minimizing Maps: Based on Lecture Notes by Norbert Hungerbuhler (Lectures in Mathematics Eth Zurich)