Kompakt træ for Hans Christian Patermann