Kompakt træ for Søren Peder Gerhard Krog