How does the Vinyl Cleaner work and what does it do?

You can find out all this in the movie here (german language): https://www.gp-audio.de/german-movie-professional-vinyl-cleaning