Kompakt træ for Hans Magnus Johannsen