German ISPs must hand over file sharer info to rights holders, high court rules