Direktorium der EZB ernennt Generaldirektor Statistik