Kompakt træ for Johan Georg Espenhain