[nexa] France’s Inria and Germany’s Fraunhofer detail their ROBERT contact-tracing protocol