Kompakt træ for Henrik Johan Lange