Kompakt træ for Hans Peter Jensen Kock