Kompakt træ for Peter Erichsen Thomsen