I've read sometimes that 1989 or early '90s European Golf Mk2 GTI are called GTI II. Was it really its official name or just a popular way to name the updated GTI Mk2?