Merger Update: Booking.com / ETraveli | RNS | Ticker