Smittestopp − A Case Study on Digital Contact Tracing