Kompakt træ for Mogens Carl Julianus Hastrup