Kompakt træ for Barthold Henningsen