After accidentally spilling glühwein on a box of records, I ended up buying a new, impromptu collection of vintage 60s and 70s Deutsch vinyl. A little bit of cleaning, and they were all just fine.