Kompakt træ for Jørgen Koch