Statistik: Ruhegehalt-Empfänger seit 2015 fast verdoppelt