What follows is not a real news article; nothing (that we know) happened to him.
Mike Nichols is dead
Mike Nichols, born on November 6, 1931 in Berlin, was an American director of German descent. He died on May 25, 2013 at the age of 81.
Tributes have poured in from across the world.