The arithmetic theory of loop groups. II: The Hilbert-modular case A notion of finite multiple zeta values associated with the Frobenius of the fundamental group of \(\mathbb{P}^1\setminus\{0,1,\infty\}\) 