Healthcare Workers' Perceptions of Mandatory Vaccination: Results of an Anonymous Survey in a German University Hospital