what was judd trump 's outcome when his opponent in the final has appeared in three ranking finals and won one ranking title , the 2016 german masters ?
winner