Template:Nestruev Smooth Manifolds and Observables 2020