Digital exposure notification (decentralized digital contact tracing, privacy by design)