The DP-3T algorithm for contact tracing (via Nicky Case)