The arithmetic theory of loop groups. II: The Hilbert-modular case On the classification of commutative formal group laws over p-Hilbert domains and a finiteness theorem for higher Hasse-Witt matrices 