The Convenient Setting Of Global Analysis by P.W. Michor & Andreas Kriegl