Gross G. Manifolds, Vector Fields, and Differential Forms. An Introduction 2023