Kompakt træ for Hans Jürgen Steffensen