Kompakt træ for Hans Ludvig Larsen