Text this: “Die Lineale Ausdehnungslehre” de H. G. Grassmann