Kompakt træ for Karl Ernst Svenningsen