European stocks scale all-time highs with miners in the lead

The pan-European STOXX 600 rose 0.5% by 0720 GMT,