Kompakt træ for Ingvard Nicolajsen