I read here that denazification didn't really take root amongst the West German populace until the 1960s. What was denazification like in East Germany?