Kompakt træ for Hans Friedrich Wilhelmsen