Kompakt træ for Hans Friedrich Petersen Kraus