Kompakt træ for Hans Nissen Kock