Kompakt træ for Hans Christian Jørgensen Krog