Kompakt træ for Hans Otto Hinrichsen