Kompakt træ for Hans Peter Jørgensen Detlefsen