Gravar-mail: Digital contact tracing for COVID-19