EZB ernennt Claudia Plattner zur Generaldirektorin Informationssysteme