Kompakt træ for Hans Ludvigsen