Interesting. I never knew what they actually used. I had never encountered that smell in West Berlin at the time. And certainly not since the wall came down. Thanks for solving this mystery. 🙂