Kompakt træ for Theodor Peter Friedrich Petersen