Kompakt træ for Hermann Kretzner