Kompakt træ for Theodor Budolfsen