Vaccineren: keuzevrijheid of plicht volgens het EHRM?