Smittestopp − A Case Study on Digital Contact Tracing (Simula SpringerBriefs on computing)