1: \begin{abstract}  A unitary representation 

2: of a, possibly infinite dimensional, Lie group 

3: $G$ is called semibounded if the corresponding 

4: operators $i\dd\pi(x)$ from the derived representation  

5: are uniformly bounded from above on some non-empty open subset 

6: of the Lie algebra $\g$ of $G$. We classify all 

7: irreducible semibounded representations of the 

8: groups $\hat\cL_\phi(K)$ which are double extensions 

9: of the twisted loop group $\cL_\phi(K)$, where 

10: $K$ is a simple Hilbert--Lie group 

11: (in the sense that the scalar product on its Lie algebra 

12: is invariant) and $\phi$ is a finite order automorphism of $K$ 

13: which leads to one of the $7$ irreducible locally affine root systems 

14: with their canonical $\Z$-grading. To achieve this goal, we extend the method  

15: of holomorphic induction to certain classes of Fr\'echet--Lie groups and 

16: prove an infinitesimal characterization of analytic operator-valued 

17: positive definite functions on Fr\'echet--BCH--Lie groups. \\

18: {\em Keywords:} infinite dimensional Lie group, unitary representation, 

19: semibounded representation, Hilbert--Lie algebra, Hilbert--Lie group, Kac--Moody group, 

20: loop group, double extension, positive definite function.  \\

21: {\em MSC2000:} 22E65, 22E45.  

22: \end{abstract}