Kompakt træ for Inge Gertsen