Kompakt træ for Johann Jepsen Ravn