Jornal Do Brasilia - Gericht: Berliner Senat darf Richterin nicht in Ruhestand versetzen