Kompakt træ for Johann Heinrich Kock