Kompakt træ for Hans Ingemann