Eine Änderung der Arbeitsverträge hinsichtlich der Arbeitszeit und der Lohnzahlungspflicht für die Dauer der Kurzarbeitsperiode ohne Rücksicht auf den Willen der Arbeitnehmer kann jedoch nur durch eine förmliche Betriebsvereinbarung nach [REF] herbeigeführt werden .
Dabei sei zunächst unstreitig , dass eine gegenüber den Arbeitnehmern wirkende Änderung der Arbeitsvertragsinhalte nur durch eine förmliche Betriebsvereinbarung im Sinne des [REF] vorgenommen werden könne .