On the summit of Carrauntoohil, the highest point in Ireland