(Änderung des Arbeitsgerichtsgesetzes) (gegenstandslos)