Kompakt træ for Martin P. DRESCHER