Springer Theory of Extensive Form Games