Kompakt træ for Laust Vinther Sørensen