The arithmetic theory of loop groups. II: The Hilbert-modular case Dirac approach to constrained submanifolds in a double loop group: from Wess-Zumino-Novikov-Witten to Poisson-Lie {\(\sigma\)}-model 