What to do when it is too hot in Lisbon?