Compact tree of Johan Frederik Lehmann