Kompakt træ for Hermann Theodor Tietzen