Philips' preferred name for the format was "VLP", after the Dutch words Video Langspeel-Plaat ("Video long-play disc"), which in English-speaking countries stood for Video Long-Play. What was the first consumer VLP player?