20180626 auto.miscellaneous: Volkswagen electric car sets Pikes Peak record