Compacte boom van David Gerrit Wijnschenk