Kompakt træ for Theis Otto Christian Schmidt