Kompakt træ for Hans Grummesen