Kompakt træ for Christen Peter Mikkelsen