Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thanks a lot. Do you know any ("citeable") reference for this? (The book of Eichhorn (mentioned above by Peter Michor) does not work with transition functions and in the PhD-Thesis of Elderling I only found the implication "(i) implies (ii)")
