Template:Kriegl Michor The Convenient Setting of Global Analysis