Kompakt træ for Herrmann Julius Schmidt