Enthält eine kirchliche Vergütungsregelung (hier: BAT-KF) hinsichtlich eines an den Familienstand anknüpfenden Vergütungsbestandteils (Ortszuschlag) für Partner einer eingetragenen Lebenspartnerschaft eine Regelungslücke, kann diese von den staatlichen Arbeitsgerichten nicht durch Gleichstellung der Lebenspartner mit Verheirateten geschlossen werden, solange nicht feststeht, dass ein solcher Lückenschluss mit dem Selbstverständnis der beteiligten Kirchen im Einklang steht.