The arithmetic theory of loop groups. II: The Hilbert-modular case The fundamental group of quotients of products of some topological spaces by a finite group -- a generalization of a theorem of Bauer-Catanese-Grunewald-Pignatelli 