Kompakt træ for Erich Detlefsen