»Ist nach einer Betriebsvereinbarung über die gleitende Arbeitszeit der Stand des Gleitzeitkontos auf der Grundlage der vom Arbeitnehmer geschuldeten Arbeitszeit zu berechnen, so folgt hieraus, wenn die Betriebspartner nichts anderes bestimmen, daß Zeiten außer Betracht bleiben, in denen die Arbeitspflicht wegen Teilnahme an einem Arbeitskampf geruht hat. Arbeitskampfbedingte Ausfallzeiten führen nicht zu einer Belastung des Gleitzeitkontos, sondern zu einer Minderung des Arbeitsentgelts.«