Kompakt træ for Otto Diedrich Lorenzen