Samtidigt foll en icke obetydligmängd