Restaurants at Malaga cathedral.