Kompakt træ for Peter Karl Friedrich Rudolf Petersen