Perfect Digital Invariant/Examples/4150/Historical Note

Historical Note on Perfect Digital Invariant/Examples/4150
In his of $1997$,  attributes this result to a certain Lehning, but gives no context.

It remains to identify who this is.