Kompakt træ for Johann Hamann Diedrichsen