Kompakt træ for Peter Theodor Salvesen