Ist eine Impfkampagne für Berlin im Herbst 2022 zwingend?