European stocks pulled back from record high levels, as the technology sector tumbled alongside chipmakers in the US.