The arithmetic theory of loop groups. II: The Hilbert-modular case Arithmetic deformation theory via arithmetic fundamental groups and non-Archimedean theta-functions, notes on the work of Shinichi Mochizuki 