Kompakt træ for Johann Lorenzen