20170625 sports.tennis: Federer demolishes Zverev to win ninth Halle title