密云水库的设计者、清华大学教授王清友逝世 。