Coming to Madrid for the first time, any recommendations? Especially with the heatwave: any pool or rooftop suggestions?