Китаецът победи Джъд Тръмп с 9-5 на финала на Джърман Мастърс