Kompakt træ for Erich Dethlefsen