Kompakt træ for Karen Formann