Oil stocks power European shares to record-high finish