Kompakt træ for Hans Peter Philip Carl Jensen