europeiske tjenstemännen äro för närvarande till antalet 52.