The Pope did not know of Williamson’s views on the Holocaust when he lifted the excommunication?

I find that hard to believe.