Claudia Dinges wird Programmdirektorin von Antenne Deutschland