Einde van vaccinatiecampagne? Nauwelijks nog nieuwe boosterprikken gezet