Kompakt træ for Henrik Nielsen Krarup