Kompakt træ for Mathias DIEDERICHSEN