On the size of the singular set of minimizing harmonic maps / Katarzyna Mazowiecka, Michał Miśkiewicz, Armin Schikorra