Judd Trump was made to battle hard before getting over the winning line in his German Masters quarter-final tussle against Ding Junhui. The world number three beat China’s number one star 5-3 to reach the semi-finals of the ranking event – edging him closer to his second big trophy of the season after winning the…