An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)