Kompakt træ for Hans Johannes Henningsen