Kompakt træ for Hans Petersen (Kraus)