COVID-19: Vaccination of children aged 15-18 years