The arithmetic theory of loop groups. II: The Hilbert-modular case Integral models of Hilbert modular varieties in the ramified case, deformations of modular Galois representations, and weight one forms 