Lenny Wilkens ist tot.