Vaccinatie van ziekenhuispersoneel; de plaats van de bedrijfsarts in het ziekenhuis