Da der Ursprungsantrag erledigt ist, wird auch der Änderungsantrag als erledigt angesehen.