Es geht also los: Ab 15. Mai (oder 22. Mai) rollt der Ball in der deutschen Fußball-Bundesliga wieder. Vor leeren Rängen, aber immerhin.