Kompakt træ for Friedrich Rudolf Lehmann