Kompakt træ for Hans Erik Jørgensen Ravn