Bundestheaterbediensteten, die Anspruch auf Ruhegenuss haben, gebührt ein Kinderzuschuss nach den für Bundesbeamtinnen und Bundesbeamte und ihre Hinterbliebenen jeweils geltenden bundesgesetzlichen Vorschriften.