We don't have mandatory vaccinations at the moment - and funnily a recent poll came up with 4 out of 5 people wanting to change that.
That also shows, that it's not really necessary - Germany doesn't have such a degree of anti-vaccination demagogy - in Europe in general this is by far less popular than in the USA. Despite originally stemming from Britain, if I am not mistaken - don't know how it's there.
But most other countries in the EU do have some of them mandatory.
Difficult situation - but of course it would be better to inform the public properly than breed new resentments.