a. Art. 119 EWGV ist dahin auszulegen, daß er es nicht zuläßt, daß ein für den nationalen öffentlichen Dienst geschlossener Tarifvertrag vorsieht, daß für den Aufstieg in eine höhere Vergütungsgruppe die Dienstzeit von Arbeitnehmern, die mit mindestens drei Viertel der regelmäßigen Arbeitszeit beschäftigt sind, voll, die Dienstzeit von Arbeitnehmern, deren Arbeitszeit zwischen der Hälfte und drei Viertel der regelmäßigen Arbeitszeit beträgt, jedoch nur zur Hälfte angerechnet wird, wenn sich herausstellt, daß zu der letztgenannten Arbeitnehmergruppe erheblich weniger Männer als Frauen gehören, es sei denn, der Arbeitgeber weist nach, daß die betreffende Bestimmung durch objektive Kriterien gerechtfertigt ist, die insbesondere darauf abstellen, welche Beziehung zwischen der Art der ausgeübten Tätigkeit und der Erfahrung besteht, die die Ausübung dieser Tätigkeit nach einer bestimmten Anzahl geleisteter Arbeitsstunden verschafft.