New Insights into Witsenhausen’s Counterexample