Kompakt træ for Lorenz Karl Martin Martensen