Kompakt træ for Hans Peter Levin Grønvold