(August) Lenz,