Gabinete Europeu de Radiocomunicações, ERO, Gabinete ERO (nome próprio)