Kompakt træ for Valdemar Hastrup