Kompakt træ for Hans Julius Koefoed