20160611 sports.tennis: Tennis: Tomic's Dutch hopes ended by Mahut