Compacte boom van Gerhard Witteveen