ECHR rules obligatory vaccination may be necessary