Kompakt træ for Hans Julius Schmidt