Kompakt træ for Auguste Heinsen