Mandatory immunization against SARS-CoV-2 of athletes, companions and supporters for the Tokyo Olympics. (July 2021)