EZB ernennt Petra Senkovic zur Generaldirektorin des Sekretariats des Aufsichtsgremiums