Kompakt træ for Johan Peter Henningsen