Detta antal har nämligen utgjort: