Tenor 0. Auf die Revision der Beklagten wird das Urteil des Landesarbeitsgerichts Baden-Württemberg Kammern Mannheim vom [DATE] [REF] aufgehoben. 0. Auf die Berufung der Beklagten wird das Urteil des Arbeitsgerichts Karlsruhe vom [DATE] [REF] abgeändert und die Klage abgewiesen. 0. Der Kläger hat die Kosten des Rechtsstreits zu tragen. Tatbestand Die Beklagte ist ein Flugsicherungsunternehmen. Der [DATE] geborene Kläger war bei ihr bzw. ihrer Rechtsvorgängerin von [DATE] bis zum [DATE] als Fluglotse beschäftigt. Auf das Arbeitsverhältnis der Parteien fanden die Firmentarifverträge für die bei der Beklagten beschäftigten Mitarbeiter Anwendung, samt der „Sonderregelungen FS-Dienste“. Nach Erstellung eines arbeitswissenschaftlichen Gutachtens durch Prof. Kastner schlossen die Tarifvertragsparteien am [DATE] eine „Rahmenvereinbarung Belastung und Beanspruchung in den Flugsicherungsdiensten“, in der sie verabredeten, die Empfehlungen dieses Gutachtens umzusetzen. Das erfolgte im Fünften Änderungstarifvertrag zum Manteltarifvertrag für die bei der D GmbH beschäftigten Mitarbeiterinnen und Mitarbeiter vom selben Tag . Die bundesdeutschen Flughäfen wurden sieben Kategorien zugeordnet, nach denen sich die Dauer der wöchentlichen Arbeitszeit der Fluglotsen bestimmte. Außerdem erhielten sie innerhalb der Arbeitszeit eine sog. Regenerationspause, deren Dauer sich wiederum nach der Kategorie ihres Einsatzflughafens richtete. Während der Regenerationspausen mussten sich die Fluglotsen im Zugriffsbereich der Beklagten aufhalten und auf Anforderung ihre Arbeit wieder aufnehmen. Zwischen den Tarifvertragsparteien bestand Einvernehmen, dass eine Umsetzung der neuen Arbeitszeitregelungen wegen Personalmangels nicht sofort durchführbar war und erst zum [DATE] erfolgen sollte. Deshalb vereinbarten sie in § 0 Nr. 0g 0. ÄndTV folgende „Übergangsregelungen zur Arbeitszeit“: „Die von Fluglotsen im operativen Einsatz in der Flugverkehrskontrolle geleistete Nettoarbeitszeit , die über die in den jeweiligen Kategorien zu erbringende Nettoarbeitszeit hinausgeht , wird bis zur Umsetzung der Empfehlungen des Gutachtens am [DATE] in den kommenden Jahren auf einem gesonderten individuellen Zeitarbeitskonto wie folgt gutgeschrieben: im Jahr [DATE] mit 0 v. H. der Zeitdifferenz, im Jahr [DATE] mit 0 v. H. der Zeitdifferenz, im Jahr [DATE] mit 0 v. H. der Zeitdifferenz, im Jahr [DATE] mit 0 v. H. der Zeitdifferenz. ... Die Mitarbeiter können nach dem [DATE] ihr Zeitkonto in Zeitblöcken im Rahmen der Urlaubsplanung oder als Block unmittelbar vor dem Eintritt in die Übergangsversorgung unter Berücksichtigung betrieblicher Belange abbauen. Eine Auszahlung soll nur in den Fällen vorgenommen werden, in denen der Eintritt in die Übergangsversorgung erfolgt, ohne dass ein vorheriger Zeitausgleich möglich war.“ In einer Betriebsvereinbarung vom [DATE] verabredeten die Beklagte und ihr Gesamtbetriebsrat zu den Zeitgutschriften für die Übergangsphase ua.: „... § 0 Verfahren der Gutschrift Zeitgutschriften werden mit drei Stellen hinter dem Komma auf Basis von Industrieminuten Der Abbau der Zeitkonten gemäß § 0 Absatz 0 der Rahmenvereinbarung erfolgt auf Basis der Nettoarbeitszeit . Mitarbeitern, die vor dem [DATE] aus der aktiven Beschäftigung ausscheiden, wird vorher Gelegenheit gegeben, ihr Zeitguthaben auszugleichen, sofern dem nicht dringende betriebliche Belange entgegenstehen. ... § 0 Schlussbestimmungen Diese Betriebsvereinbarung tritt mit Wirkung vom [DATE] in Kraft. Sollte sie nicht wie in § 0 Absatz 0 vorgesehen ergänzt werden, wird sie mit Ablauf des [DATE] gegenstandslos. ...“ Die Sonderregelungen FS-Dienste vom [DATE] bestimmen ua.: „ § 0 Übergangsregelungen zur Arbeitszeit Die von Fluglotsen im operativen Einsatz in der Flugverkehrskontrolle geleistete Nettoarbeitszeit , die über die in den jeweiligen Kategorien zu erbringende Nettoarbeitszeit hinausging , wurde bis zur Umsetzung der Empfehlungen des Gutachtens am [DATE] auf einem gesonderten individuellen Zeitarbeitskonto wie folgt gutgeschrieben: im Jahr [DATE] mit 0 v. H. der Zeitdifferenz, im Jahr [DATE] mit 0 v. H. der Zeitdifferenz, im Jahr [DATE] mit 0 v. H. der Zeitdifferenz, im Jahr [DATE] mit 0 v. H. der Zeitdifferenz. ... Die Mitarbeiter können ihr Zeitkonto in Zeitblöcken im Rahmen der Urlaubsplanung oder als Block unmittelbar vor dem Eintritt in die Übergangsversorgung unter Berücksichtigung betrieblicher Belange abbauen. Eine Auszahlung soll nur in den Fällen vorgenommen werden, in denen der Eintritt in die Übergangsversorgung erfolgt, ohne dass ein vorheriger Zeitausgleich möglich war.“ Aufgrund der tariflichen Regelungen ergab sich für den Kläger eine wöchentliche Bruttoarbeitszeit von 0 Stunden, bestehend aus einer Nettoarbeitszeit von 0 und Regenerationszeiten von sieben Stunden. Im [DATE] betrug sein Guthaben auf dem sog. Kastner-Zeitkonto 0 Stunden. Zu dessen Abbau erhielt der Kläger 0 Wochen Freizeitausgleich, den die Beklagte auf der Basis der wöchentlichen Bruttoarbeitszeit ermittelte. Mit seiner Klage hat der Kläger die Abgeltung seiner Ansicht nach noch offener Stunden aus dem Kastner-Zeitkonto geltend gemacht, weil der Abbau seines Arbeitszeitkontos spiegelbildlich zum Aufbau vorzunehmen sei. Bei der Teilung der angesammelten Stunden durch seine wöchentliche Nettoarbeitszeit ergebe sich ein noch offener Freizeitausgleich von 0 Wochen, der wegen der Beendigung des Arbeitsverhältnisses in Geld abzugelten sei. Dazu müssten die 0 Wochen Freizeitausgleich auf der Basis seiner Bruttoarbeitszeit in Stunden umgerechnet werden. Für die sich danach ergebenden 0 Stunden hat er die unstreitige Stundenvergütung von 0 Euro gefordert. Der Kläger hat zuletzt beantragt, die Beklagte zu verurteilen, an ihn 0 Euro nebst Zinsen in Höhe von fünf Prozentpunkten über dem Basiszinssatz aus 0 Euro seit dem [DATE] sowie aus 0 Euro seit dem [DATE] zu zahlen. Sie hat die Auffassung vertreten, das Kastner-Zeitkonto des Klägers sei vollständig abgebaut worden. Um eine Freistellung von der Dauer einer Woche zu erlangen, habe der Kläger seine wöchentliche Bruttoarbeitszeit von 0 Stunden einsetzen müssen. Das Arbeitsgericht hat der Klage stattgegeben. Das Landesarbeitsgericht hat die Berufung der Beklagten zurückgewiesen. Mit der vom Landesarbeitsgericht zugelassenen Revision verfolgt die Beklagte ihren Klageabweisungsantrag weiter. Entscheidungsgründe Die Revision der Beklagten ist begründet. Das Landesarbeitsgericht hat die Berufung der Beklagten gegen das der Klage stattgebende Urteil des Arbeitsgerichts zu Unrecht zurückgewiesen. Die Ansprüche des Klägers auf Freizeitausgleich zum Abbau des Kastner-Zeitkontos sind durch Erfüllung erloschen . Der von den Vorinstanzen ohne nähere Begründung angenommene Grundsatz, ein Arbeitszeitkonto sei spiegelbildlich zu seinem Aufbau abzubauen, besteht nicht. Ein Arbeitszeitkonto drückt im Allgemeinen aus, in welchem Umfang der Arbeitnehmer Arbeit geleistet hat und deshalb Vergütung beanspruchen kann bzw. in welchem Umfang er noch Arbeitsleistung für die vereinbarte Vergütung erbringen muss . Dabei können Arbeitsleistungen nach besonderen Regelungen höher oder niedriger bewertet werden, als es ihrem zeitlichen Einsatz entspricht . Die Zeitgutschrift auf einem Arbeitszeitkonto ist lediglich eine abstrakte Recheneinheit, die für sich gesehen keinen Aufschluss darüber gibt, wie sie erarbeitet wurde. Deshalb kommt es für den Abbau eines Arbeitszeitkontos nur noch auf die Höhe des Zeitguthabens in der maßgeblichen Recheneinheit an. Aufbau und Abbau eines Arbeitszeitkontos können jeweils eigenen Regeln folgen. Nach § 0 Abs. 0 Sonderregelungen FS-Dienste vom [DATE] ist wie schon nach der Übergangsregelung zur Arbeitszeit in § 0 Nr. 0g des 0. ÄndTV vom [DATE] das Kastner-Zeitkonto grundsätzlich durch Freizeit abzubauen. Das steht zwischen den Parteien außer Streit. Freizeit ist im arbeitsrechtlichen Sinne das Gegenteil von Arbeitszeit. Freizeitausgleich bedeutet, statt Arbeitszeit ableisten zu müssen, bezahlte Freizeit zu erhalten. Der Freizeitausgleich erfolgt durch Reduzierung der Sollarbeitszeit . Der Abbau eines Arbeitszeitkontos durch Freizeitausgleich vollzieht sich deshalb soweit durch Arbeitsvertrag, Betriebsvereinbarung oder Tarifvertrag nichts anderes geregelt ist dergestalt, dass errechnet wird, wie viel „freier Zeit“ die auf dem Arbeitszeitkonto angesammelten Stunden entsprechen. Diese ist aufgrund der vom Arbeitnehmer geschuldeten Arbeitszeit zu ermitteln. Zur Arbeitszeit zählen nicht nur die Zeit tatsächlich geleisteter Arbeit, sondern auch innerhalb der Arbeitszeit liegende Bereitschaftszeiten. Denn Bereitschaftsdienst ist Arbeitszeit . Nach den Feststellungen des Landesarbeitsgerichts müssen sich die Fluglotsen während der Regenerationszeiten im Zugriffsbereich des Arbeitgebers aufhalten und auf dessen Anforderung Arbeitsleistung erbringen. Die Regenerationszeiten sind deshalb Bereitschaftsdienst und zählen damit zur Arbeitszeit. Dementsprechend rechnet § 0 der Sonderregelungen FS-Dienste vom [DATE] die Regenerationszeiten auf die Arbeitszeit der Fluglotsen an. Bei der Ermittlung, wie viel Freizeit die auf dem Arbeitszeitkonto angesammelten Stunden entsprechen, ist die die Bereitschaftsdienstzeiten einschließende Bruttoarbeitszeit zugrunde zu legen. Um zB eine Woche Freizeit zu erhalten, muss der Kläger nicht nur die Nettoarbeitszeit von 0 Stunden einbringen, sondern da er ansonsten in dieser Zeit Bereitschaftsdienst leisten müsste auch die Regenerationszeiten von wöchentlich sieben Stunden. § 0 Abs. 0 Sonderregelungen FS-Dienste vom [DATE] beschränkt sich ebenso wie schon zuvor § 0 Nr. 0g 0. ÄndTV auf die Vorgabe, das Zeitkonto sei grundsätzlich „in Zeitblöcken“ abzubauen, regelt die Modalitäten des danach vorzunehmenden Freizeitausgleichs aber nicht. § 0 Abs. 0 der Betriebsvereinbarung vom [DATE] sieht zwar vor, dass der Abbau der Zeitkonten „auf Basis der Nettoarbeitszeit“ erfolgen soll. Ob damit gemeint ist, der Abbau der Zeitkonten solle durch Freistellung von der Nettoarbeitszeit bei Fortzahlung der Vergütung für die Bruttoarbeitszeit erfolgen, kann ebenso dahingestellt bleiben wie die Frage, ob die Betriebsvereinbarung nach dem [DATE] überhaupt noch Wirkung entfalten würde. Denn die Betriebsvereinbarung verstößt gegen [REF] und ist deshalb unwirksam. Die Dauer der Arbeitszeit unterliegt nicht der erzwingbaren Mitbestimmung des Betriebsrats nach § 0 Abs. 0 Nr. 0, Nr. 0 BetrVG . Sie könnte deshalb nach [REF] nur Gegenstand einer Betriebsvereinbarung sein, wenn sie nicht durch Tarifvertrag geregelt ist oder üblicherweise geregelt wird oder der Tarifvertrag den Abschluss ergänzender Betriebsvereinbarungen ausdrücklich zuließe. Diese Voraussetzungen liegen nicht vor. Die Zeitgutschrift für das Kastner-Zeitkonto und dessen Abbau als Teil der tariflichen Bestimmungen zur Dauer der Arbeitszeit waren zunächst durch § 0 Nr. 0g 0. ÄndTV und später durch § 0 der Sonderregelungen FS-Dienste vom [DATE] geregelt. Eine Öffnungsklausel iSv. [REF] enthielten die tariflichen Bestimmungen nicht.