In connection with the ban of large-scale events until 31 August, how should the German soccer league proceed with its remaining 2019/20 season schedule?