Kompakt træ for Kaj Mammen