Kompakt træ for Peter Hockerup