Decheng Ding Klaus Weihrauch