Template talk:Nestruev Smooth Manifolds and Observables 2020