Kompakt træ for Johan Magnus Michaelsen