Die Betriebsrenten werden jeweils zum 1. Juli um 1 v. H. ihres Betrages erhöht.