Kompakt træ for Hans Christen Mikkelsen