Irland meldet 30 Grad, Portugal kratzt an 37 Grad in Maihitze