Kompakt tre for Peder Severin Petersen