which hotel is part of the brand hospederías de extremadura?
(AND travel.hotel (JOIN travel.hotel.operating_brand m.011vl49j))